#include <stdio.h>
int tag = 0;

int fun(int a[], int i, int j) {
	if (i == 9) {
		return fun(a, i + 1, 0);
	} else {
		a[i] = j;
	}
	return fun(a, i, j + 1);

}



int main() {
	int flag = 1;
	int i;
	int a[10];
	int b[10] = {0};


	for (int i = 0; i < 10; i++) {
		b[a[i]]++;
	}
	for (int i = 0; i < 10; i++) {
		if (a[i] == b[i]) {
			i++;
		} else {
			flag = 0;
			break;
		}
	}
	if (flag == 1) {
		printf("Yes");
	}
	return 0;
}